首页> 外文OA文献 >Reo + mCRL2 : a framework for model-checking dataflow in service compositions

【2h】

Reo + mCRL2 : a framework for model-checking dataflow in service compositions

机译：Reo + mCRL2：用于在服务组合中进行模型检查数据流的框架

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kokash, N; Krause, C; Vink, de, EP Erik;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Reo + mCRL2: A framework for model-checking dataflow in service compositions [J] . Natallia Kokash, Christian Krause, and Erik de Vink Formal Aspects of Computing . 2012,第2期

机译：Reo + mCRL2：用于在服务组合中模型检查数据流的框架
2. A Dataflow-Based Scientific Workflow Composition Framework [J] . Fei Xubo, Lu Shiyong Services Computing, IEEE Transactions on . 2012,第1期

机译：基于数据流的科学工作流组合框架
3. A Dataflow-Pattern-Based Recommendation Framework for Data Service Mashup [J] . Wang Guiling, Han Yanbo, Zhang Zhongmei, Services Computing, IEEE Transactions on . 2015,第6期

机译：基于数据流模式的数据服务混搭推荐框架
4. Data-Aware Design and Verification of Service Compositions with Reo and mCRL2 [C] . N. Kokash, C. Krause, E.R de Vink Annual ACM symposium on applied computing;ACM symposium on applied computing;SAC 2010 . 2010

机译：使用Reo和mCRL2进行数据感知设计和服务组合的验证
5. A web service composition framework based on integrated service substitution and adaptation [D] . Chen, Lu. 2011

机译：基于集成服务替换和适应的Web服务组合框架
6. Retracted: An Automatic Web Service Composition Framework Using QoS-Based Web Service Ranking Algorithm [O] . The Scientific World Journal 2016

机译：缩回：使用基于QoS的Web服务排名算法的自动Web服务组合框架
7. Compositional construction of web services using Reo [O] . N. K. Diakov, F. Arbab, Nikolay Diakov, 2004

机译：使用Reo组成Web服务
8. Framework for Automatic Web Service Composition [R] . Kim, A., Kang, M., Meadows, C., 2009

机译：自动Web服务组合框架

Reo + mCRL2 : a framework for model-checking dataflow in service compositions

著录项

引文网络

相似文献

相关主题

期刊订阅